partial recursive function - German English Dictionary